Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 5 of 5 for:
model checking
1 ?
 21,213,375 websites (safe search)

  1. The Averest System

    Welcome! Averest is a set of tools for the specification, verification, and implementation of reactive systems. It includes a compiler and a simulator for ...
    Formal Verification1
    Model Checking1
    Controller Synthesis1
    Execution Time Analysis1
    Synchronous Languages1
    Averest0

    www.averest.org - 2009-02-07

  2. Formal Systems (Europe) Ltd

    Home About Us Software Ordering Welcome to the Formal Systems website Home of the FDR2 model-checker and other CSP tools. News 23 July 2007 : FDR2.83 academic ...
    formal2
    verification2
    ProBE2
    CSP1
    formal methods1
    model checking1
    FDR20

    www.fsel.com - 2009-02-12

  3. Welcome to Real Intent, Inc.

    Real Intent is developing block-to-chip level assertion-based formal verification products that dramatically improve the functional verification efficiency of ...
    formal2
    verification2
    magellan1
    EDA1
    archer1
    hdl1
    vhdl1
    verilog1
    psl1
    verifier1
    Electronic Design Automation1
    civ1
    hierarchical1
    ABV1
    systemverilog1
    blacktie1
    ovl1
    formal verification1
    Semi-formal1
    Functional verification1
    Model checking1
    property checking1
    verix1
    Functional coverage1
    0-in0
    assertion-based verification0
    Automatic assertion0
    clock intent0
    expressed intent0
    implied intent0
    Real Intent0
    static verification0

    www.realintent.com - 2009-02-06

  4. Homepage of Gordon Fraser

    Publications and CV of Gordon Fraser, researcher on automated testing at Graz University of Technology.
    software7
    testing3
    automation3
    verification2
    Gordon2
    Fraser1
    model checking1
    model-based testing1
    model-checking1

    www.fraser.at - 2009-03-07

  5. Sylvain Peyronnet - Associate professor LRI - University Paris-Sud

    This is the webpage of Sylvain Peyronnet
    web7
    spam3
    indexation1
    sylvain1
    model checking1
    peyronnet1
    research fellow1
    approximate verification0
    probabilistic verification0

    sylvain.berbiqui.org - 2009-03-10

Gnomit  
About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.